Skip to content

Prepare public release r3.2 - #373

Closed
jlurien wants to merge 1 commit into
mainfrom
create-public-release-r3.2
Closed

jlurien wants to merge 1 commit into
mainfrom
create-public-release-r3.2

Conversation

@jlurien

@jlurien jlurien commented Aug 29, 2025

Copy link
Copy Markdown
Collaborator

What type of PR is this?

  • documentation
  • subproject management

What this PR does / why we need it:

Applies changes to be merged prior to the creation of the next public release r3.2

Which issue(s) this PR fixes:

Fixes #370

Special notes for reviewers:

All other PRs in the scope for Fall25 must be merged prior to this one, and this one realigned with master

docs

@github-actions

Copy link
Copy Markdown

🦙 MegaLinter status: ✅ SUCCESS

Descriptor Linter Files Fixed Errors Elapsed time
✅ ACTION actionlint 2 0 0.01s
✅ API spectral 3 0 4.7s
✅ GHERKIN gherkin-lint 3 0 1.1s
✅ REPOSITORY git_diff yes no 0.01s
✅ REPOSITORY secretlint yes no 0.74s
✅ YAML yamllint 3 0 1.01s

See detailed report in MegaLinter reports

MegaLinter is graciously provided by OX Security

@jlurien

jlurien commented Sep 1, 2025

Copy link
Copy Markdown
Collaborator Author

Duplicated in #374

@jlurien jlurien closed this Sep 1, 2025
@hdamker
hdamker deleted the create-public-release-r3.2 branch September 1, 2025 10:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Prepare public release for Fall25 M4

1 participant